Programming in Martin-Löf type theory - unification a non-trivial example
- Författare
- Institutionen för datavetenskap (Göteborg) Ana Bove
- (Ana Bove., Lic.-avh. Göteborg : Chalmers tekn. högsk.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1999 | Sverige, Göteborg | 117 sidor. |